Explanation of OWL Entailments in Protege 4
نویسندگان
چکیده
This poster and demo presents new OWL ontology explanation tools and facilities that are available in Protégé 4. These explanations take the form of justifications. A justification is a minimal set of axioms that is sufficient for a given entailment to hold. Justification finding services for Protégé 4 are presented, including what have become defacto explanation services such as root/derived pinpointing, and justification presentation. In addition to this, an implementation of recent theoretical work that computes so-called precise justifications is presented. Finally, preliminary work and new ideas of how justifications might be made easier to understand is a topic for discussion. All feedback and discussion is welcomed. Protégé 4 is open source, freely available software.
منابع مشابه
Towards Reusable Explanation Services in Protege
We present several extensions of the explanation facility of the ontology editor Protege. Currently, explanations of OWL entailments in Protege are provided as justifications—minimal subsets of axioms that entail the given axiom. The plugin called ‘explanation workbench’ computes justifications using a black-box algorithm and displays them in a convenient way. Recently, several other (mostly gl...
متن کاملThe OWL Explanation Workbench: A toolkit for working with justifications for entailments in OWL ontologies
In this article we present the Explanation Workbench, a library and tool for working with justification-based explanations of entailments in OWL ontologies. The workbench comprises a software library and Protégé plugin. The library can be used in standalone OWL API based applications that require the ability to generate and consume justifications. The Protégé plugin, which is underpinned by the...
متن کاملThe Benefits of Incremental Reasoning in OWL EL
This demo will present the advantages of the new, bookkeeping-free method for incremental reasoning in OWL EL on incremental classification of large ontologies. In particular, we will show how the typical experience of a user editing a large ontology can be improved if the reasoner (or ontology IDE) provides the capability of instantaneously re-classifying the ontology in the background mode wh...
متن کاملUnderstanding Entailments in OWL
This paper describes the explanation in OWL landscape. In recent years there has been huge progress, both in theory and implementation, in the area of explaining the causes of entailments in OWL ontologies. This paper charts the course of explanation in OWL and then looks at ways in which user understanding of ontologies might be further improved. Specifically, the use of fine-grained justifica...
متن کاملLemmas for Justifications in OWL
Over the past few years there has been a significant amount of interest in the area of debugging and repairing of OWL ontologies. The process of debugging an ontology is necessary in the same way that debugging programme code is necessary – that is, debugging takes place in order to eradicate faults. In terms of ontology debugging, the faults manifest themselves as undesirable entailments. In p...
متن کامل